CATEGORICITY AND INFINITARY LOGICS WILL BONEY AND SEBASTIEN VASEY Abstract. We point out a gap in Shelah’s proof of the following result: Claim 0.1. Let K be an abstract elementary class categorical in

Source URL: math.harvard.edu

567 Documenta Math. An Elementary Proof of the Mazur-Tate-Teitelbaum Conjecture for Elliptic Curves

Source URL: documenta.sagemath.org

Some other works Schauder estimate The Schauder estimate is a fundamental estimate in elliptic equations. In [so1] we found a short and elementary proof for the estimate. The proof also applies to (fully) nonlinear ellip

Source URL: maths-people.anu.edu.au

567 Documenta Math. An Elementary Proof of the Mazur-Tate-Teitelbaum Conjecture for Elliptic Curves

Source URL: www.math.uiuc.edu

Mean curvature equation and mean curvature flow The mean curvature equation We found a simple and elementary proof for the interior gradient estimate for the mean curvature equation [mc1]. This proof also applies to the

Source URL: maths-people.anu.edu.au

• Mathematical analysis
• Differential geometry
• Geometry
• Geometric flow
• Curvature
• Surfaces
• Mean curvature flow
• Differential geometry of surfaces
• Mean curvature
• Curve-shortening flow
• Gaussian curvature

Remarks on simple proofs Rosalie Iemhoff∗ March 15, 2015 Abstract This note consists of a collection of observations on the notion of simplicity in the setting of proofs. It discusses its properties under formalization

Source URL: www.phil.uu.nl

• Logic
• Mathematics
• Abstraction
• Proof theory
• Mathematical proofs
• Formal languages
• Formal systems
• Logical truth
• Theorem
• Elementary proof
• Mathematical logic
• Proof

International Mathematical Olympiad Preliminary Selection Contest 2012 — Hong Kong Outline of Solutions Answers:

Source URL: web.hku.hk

• Mathematics
• Mathematical analysis
• Elementary algebra
• Trigonometry
• Inverse trigonometric functions
• Ratios
• Nth root
• Factorization
• E
• Transcendental number
• Proof that is irrational

SELECTED VERSES CONTENTS To Place a Notice 4

Source URL: tributes.heraldsun.com.au

• Analytic geometry
• Elementary geometry
• Line
• Mathematical proof
• Metre

A NOTE ON RH FOR CURVES AND HYPERSURFACES OVER FINITE FIELDS NICHOLAS M. KATZ Abstract. We give what is arguably a simple (though certainly not elementary, cf. [Sch]) proof of the Riemann Hypothesis for (projective, smoo

Source URL: web.math.princeton.edu

• Linear algebra
• Matrix theory
• Finite fields
• Genus of a multiplicative sequence
• Eigenvalues and eigenvectors
• Elliptic curve
• Weil conjectures
• Profinite group

Real Growth in Standard Parts of Analysis∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe Universit¨at Robert-Mayer-StrFrankfurt am Main, Germany

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Functions and mappings
• Recursion
• Theory of computation
• Proof theory
• Primitive recursive function
• Continuous function
• Elementary function arithmetic
• Arithmetic function